1. .....................
پدیدآورنده : Jones, Neil D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions,، Turing machines
رده :
QA
248
.
5
.
J66
2. Automata
پدیدآورنده : Hopkin, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
3. Computability and decidability; an introduction for students of computer science
پدیدآورنده : Loeckx, Jacques
موضوع : ، Sequential machine theory,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Computability theory: an introduction
پدیدآورنده : Jones, Neil D.
موضوع : ، Recursive functions,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
6. Decision procedures: an algorithmic point of view
پدیدآورنده : Kroening, Daniel.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Turing machines,، Computational complexity
رده :
QA
9
.
65
.
K93
2008
7. Introduction to computability
پدیدآورنده :
موضوع : Turing machines,Algorithms,Computational complexity,Recursive function
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Introduction to computability
پدیدآورنده : Hennie, Frederick C.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
9. Komplexitat von Entscheidungsproblemen : ein Seminar
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Godel's theorem-- Congresses,، Computational complexity-- Congresses,، Turing machines
رده :
QA
9
.
65
.
K65
10. Komplexitat von Entscheidungsproblemen : ein Seminar
پدیدآورنده : editors Ernst Specker, Volker Strassen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L4
v
.
43
11. Komplexitat von Entscheidungsproblemen : ein seminar
پدیدآورنده : edited by Ernst Specker, Volker Strassen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L28
Vol
.
43
12. Models of Computation : An Introduction to Computability Theory
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computable functions,Turing machines,توابع محاسبه‌پذیر,Fernalndez, Maribel
رده :
CD-B
,
QA
,
267
,.
F47
,
2009
13. Models of computation :an introduction to computability theory
پدیدآورنده : Fernandez, Maribel.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Computable functions,، Turing machines
رده :
QA
267
.
F47
2009
14. The Universal turing machine : a half-century survey
پدیدآورنده : edited by Rolf Herken
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Turing machines
رده :
QA
267
.
U55
15. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
16. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
17. Theory and Applications of Models of Computation
پدیدآورنده : \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,پیچیدگی محاسباتی -- کنگره ها
رده :
QA
76
.
9
.
M35T46
2015
E-Book
,
18. Theory and applications of models of computation :
پدیدآورنده : T.V. Gopal, Junzo Watada (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
رده :
QA76
.
9
.
M35
T35
2019eb
19. Turing Machines with sublogarithmic space
پدیدآورنده : Szepietowski, Andrzej
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Turing machines,، Computational complexity
رده :
QA
76
.
L28
Vol
.
843
20. Turing machines
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Turing machines
رده :
QA
247
.
O61
